Перевод: с английского на все языки

со всех языков на английский

analytic substitution

См. также в других словарях:

  • Substitution — For Wikipedia Template Substitution, see Substitution is the replacement of one thing with another. In mathematics: * Substitution rule, in calculus * Variable substitution, in first order logic * The substitution method of solving simultaneous… …   Wikipedia

  • Substitution of variables — In mathematics, substitution of variables (also called variable substitution or coordinate transformation) refers to the substitution of certain variables with other variables. Though the study of how variable substitutions affect a certain… …   Wikipedia

  • analytic/synthetic — A contrast originally introduced by Kant between types of proposition. An analytic proposition is one where the concept of the predicate is ‘contained in’ the concept of the subject. ‘All brothers are male’ is an example. A synthetic proposition… …   Philosophy dictionary

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …   Universalium

  • Taylor series — Series expansion redirects here. For other notions of the term, see series (mathematics). As the degree of the Taylor polynomia …   Wikipedia

  • Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… …   Wikipedia

  • History of logic — Philosophy ( …   Wikipedia

  • chemistry — /kem euh stree/, n., pl. chemistries. 1. the science that deals with the composition and properties of substances and various elementary forms of matter. Cf. element (def. 2). 2. chemical properties, reactions, phenomena, etc.: the chemistry of… …   Universalium

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»